The C Programming Language - PDFSEARCH.IO - Document Search Engine

The C Programming Language
Results: 2005

#	Item
611	A. Language Comparison This section reviews other languages and systems relative to the requirements for robust servers and open distributed systems. It also compares the capabilities of Joule with those of its antecede Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-12-04 19:43:48 Parallel computing Concurrency Actor model Programming language Linda C++ Tuple space Futures and promises Operating system Computing Computer programming Software engineering
612	A REPLY TO THE CRITICISMS OF THE KNIGHT & LEVESON EXPERIMENT John C. Knight University of Virginia Charlottesville, VA[removed]Nancy G. Leveson Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2012-04-10 10:10:32 Software testing N-version programming Reliability engineering Software development methodology Software development process Computer programming Software design Programming language Acceptance testing Software development Software quality Software
613	Porting the SR Programming Language Gregg Townsend Dave Bakken Department of Computer Science The University of Arizona October 5, 1994 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1999-08-13 20:39:14 C programming language Procedural programming languages C POSIX library Build automation Compiling tools C Library Process Open Computing Computer programming Software
614	The Implementation of the SR Concurrent Programming Language TR95-2 Robert Gebala and Carole McNamee Department of Computer Science California State University, Sacramento Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1999-08-13 20:39:04 Procedural programming languages Data types Primitive types Programming language implementation Compiler construction Pointer C ALGOL 68 Linked list Software engineering Computing Computer programming
615	Ada for the C++ or Java Developer Version 1.0 Quentin Ochem, AdaCore January 29, 2014 Add to Reading List Source URL: extranet.eu.adacore.com Language: English - Date: 2014-01-29 04:40:38 Cross-platform software Ada programming language Java programming language Ada Generic programming Procedural programming languages Java C++ Control flow Computing Software engineering Computer programming
616	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
617	A Systems Perspective on A3L Heinz Kredel University of Mannheim, IT-Center, 68131 Mannheim, Germany Abstract In this paper we summarize some aspects of the development of computer algebra systems from Add to Reading List Source URL: krum.rz.uni-mannheim.de Language: English - Date: 2005-09-26 05:10:08 Procedural programming languages Array programming languages Modula-2 C Oberon Algorithm Programming language Arbitrary-precision arithmetic APL Computing Software engineering Computer programming
618	A Guide to Extended Pascal and Objects This document is intended for readers having some familiarity with earlier versions of Pascal. It contains a summary of the new features of Extended Pascal, and a survey of the prov Add to Reading List Source URL: www.prosperosoftware.com Language: English - Date: 2006-10-05 11:54:51 Data types Type theory Procedural programming languages C programming language Pascal Enumerated type Switch statement Pointer Bc programming language Computing Software engineering Programming language theory
619	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
620	JavaGrande { High Performance Computing with Java Michael Philippsen, Ronald F. Boisvert, Valdimir S. Getov, Roldan Pozo, Jose Moreira, Dennis Gannon, and Georey C. Fox Abstract. The JavaGrande Forum is a group of use Add to Reading List Source URL: www.javagrande.org Language: English - Date: 2000-12-04 17:27:35 Cross-platform software Java programming language Java platform Procedural programming languages Computing platforms Java Fortran Pointer C++ Computing Software engineering Computer programming

UPDATE